type binop = Add | Sub | Mult | Div | Rmndr | Innrp | Equal | Neq | Less | Leq | Greater | Geq

type uop = Minus | Not
